package plus.decl;

import plus.S_Array;
import plus.Type;

public class PT_Array extends TypeSpec {

	private TypeSpec rangeSpec;

	public PT_Array(TypeSpec range) {
		rangeSpec = range;
	}

	@Override
	public Type interpret() {
		return Type.fresh(new S_Array(rangeSpec.interpret()));
	}
	
}
